11,313 research outputs found

    Measurement of the angle alpha at BABAR

    Full text link
    We present recent measurements of the CKM angle alpha using data collected by the BABAR detector at the PEP-II asymmetric-energy e^+e^- collider at the SLAC National Accelerator Laboratory, operating at the Upsilon(4S) resonance. We present constraints on alpha from B->pipi, B->rhorho and B->rhopi decays.Comment: 5 pages, 1 figure, contributed to the Proceedings of Lake Louise Winter Institute 2009: Fundamental Interactions, Lake Louise, Alberta, Canada 16-21 Feb 200

    Non-singular circulant graphs and digraphs

    Full text link
    We give necessary and sufficient conditions for a few classes of known circulant graphs and/or digraphs to be singular. The above graph classes are generalized to (r,s,t)(r,s,t)-digraphs for non-negative integers r,sr,s and tt, and the digraph Cni,j,k,lC_n^{i,j,k,l}, with certain restrictions. We also obtain a necessary and sufficient condition for the digraphs Cni,j,k,lC_n^{i,j,k,l} to be singular. Some necessary conditions are given under which the (r,s,t)(r,s,t)-digraphs are singular.Comment: 12 page

    Correlation between solar neutrino flux and other solar phenomena

    Get PDF
    A study was made of the solar neutrino data with a tank of CC14 located 4800 mwe underground for the period 1970 to 83. These observations are on the production rates of Ar37 atoms via the reaction upsilon sub e + Cl37 yields Ar37 plus e(-) in the tank caused presumably by a flux of neutrinos from the Sun. The idea of possible time variations in the data shown is discussed and an attempt is made to correlate the variations to two other phenomena of solar origin-the sunspot number and the geomagnetic Ap index

    Faster Algorithms for Weighted Recursive State Machines

    Full text link
    Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems. Our main contributions are new algorithms for several fundamental problems. As compared to a direct translation of RSMs to PDSs and the best-known existing bounds of PDSs, our analysis algorithm improves the complexity for finite-height semirings (that subsumes reachability and standard dataflow properties). We further consider the problem of extracting distance values from the representation structures computed by our algorithm, and give efficient algorithms that distinguish the complexity of a one-time preprocessing from the complexity of each individual query. Another advantage of our algorithm is that our improvements carry over to the concurrent setting, where we improve the best-known complexity for the context-bounded analysis of concurrent RSMs. Finally, we provide a prototype implementation that gives a significant speed-up on several benchmarks from the SLAM/SDV project

    GMRT observations of X-shaped radio sources

    Get PDF
    We present results from a study of X-shaped sources based on observations using the Giant Metrewave Radio Telescope (GMRT). These observations were motivated by our low frequency study of 3C 223.1 (Lal & Rao 2005), an X-shaped radio source, which showed that the wings (or low-surface-brightness jets) have flatter spectral indices than the active lobes (or high-surface-brightness jets), a result not easily explained by most models. We have now obtained GMRT data at 240 and 610 MHz for almost all the known X-shaped radio sources and have studied the distribution of the spectral index across the sources. While the radio morphologies of all the sources at 240 and 610 MHz show the characteristic X-shape, the spectral characteristics of the X-shaped radio sources, seem to fall into three categories, namely, sources in which (A) the wings have flatter spectral indices than the active lobes, (B) the wings and the active lobes have comparable spectral indices, and (C) the wings have steeper spectral indices than the active lobes. We discuss the implications of the new observational results on the various formation models that have been proposed for X-shaped sources.Comment: The paper contains 12 figures and 3 tables, accepted for publication in MNRAS Main Journal, please note, some figures are of lower qualit
    • …
    corecore